Example 4.3.5

From the split exactness, and traces, we conclude that